γ-variable first-order logic of uniform attachment random graphs

We study logical limit laws for uniform attachment random graphs. In this random graph model, vertices and edges are introduced recursively: at time $n+1$, the vertex $n+1$ is introduced together with m edges joining the new vertex with m different vertices chosen uniformly at random from $1,\dots ,n$. We prove that this random graph obeys convergence law for first-order sentences with at most $m?2$ variables.     

Evolution of Classical and Quantum States in the Groupoid Picture of Quantum Mechanics

The evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently is discussed. It is shown that the notion of a classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. The impossibility of evolving a separable state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution is proven in accordance with Raggio’s theorem, which is extended to include a new family of separable states corresponding to the composition of a system with a totally disconnected space of outcomes and a quantum one.     

Versatile and Homogeneous DNA Tetraplex Platform for Constructing Label-Free Logic Devices: From Design to Application

The design of DNA-based logic circuits has become an active research field in DNA nanotechnology and holds great potential in intelligent bioanalysis. To date, although many DNA-based logic systems have been realized, the implementation of advanced logic functions is still challenging, especially with simple and homogeneous compositions. Herein, by integrating two DNA tetraplex structures (G-quadruplex and i-motif), a completely label-free logic platform with high scalability was established, with which a series of advanced functions were realized, including arithmetic (adders and subtractors) and nonarithmetic ones (majority and dual-transfer gates). Furthermore, the platform was also applied as an intelligent biosensor to coanalyze two cancer-related micro-RNAs with high sensitivities and specificities. Considering the excellent versatility, expandability, and biocompatibility, the platform may promote the development of DNA computing and hold great potential in multiparameter sensing and medical diagnosis.     

Autonomous system for data collection: Location and mapping issues in post-disaster environment

Disaster relief requires many resources. Depending on the circumstances of each event, it is important to rapidly choose the suitable means to respond to the emergency intervention. A brief review of the conditions and means demonstrated the usefulness of an autonomous stand-alone machine for these missions. If many techniques and technologies exist, their relevant combination to achieve such a system presents several challenges. This communication tries to outline the possible achievement of an autonomous vehicle under these particular circumstances. This paper focuses on the specific working conditions and welcomes future contributions from robotics and artificial intelligence.In the necessarily limited scope of this article, the authors focus on a particularly critical aspect: location. Indeed, this machine is intended to evolve in heterogeneous and dangerous environment and without any outside contacts that could last up to several days. This blackout, due to the propagation difficulties of electromagnetic waves in the ground, induces an independence of the localisation process and makes the use of any radio navigation support system (GNSS), most of the time, impossible. The knowledge of the position of the system, both for navigation of the autonomous system (Rover) and location of targets (victims buried under debris) must be able to be estimated without contributions from external systems. Inertial classical techniques, odometer, etc., have to be adapted to these conditions during a long period without external support. These techniques also have to take into account that energy optimisation requests the use of low-power processors. Consequently, only poor computing capacity is available on-board.The article starts with a presentation of the context of a post-disaster situation as well as the main missions of Search and Rescue (SaR). It is followed by the analysis of autonomous navigation located in a post-earthquake situation. We will then discuss means to determine the attitude of the autonomous system and its position. The interest of hybridisation with external systems – whenever possible –, will be evaluated with a view to correcting deviations suffered by the system during its mission. Finally, prospects and future work are presented.     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.     

Resonant-interaction-induced Rydberg antiblockade and its applications

Different from the conventional Rydberg antiblockade (RAB) regime that either requires weak Rydberg-Rydberg interaction (RRI), or compensates the RRI-induced energy shift by introducing off-resonant interactions, we show that RAB regime can be achieved by resonantly driving the transitions between ground state and Rydberg state under strong RRI. The Rabi frequencies are of small amplitude and time-dependent harmonic oscillation, which plays a critical role for the presented RAB. The proposed unconventional RAB regime is used to construct high-fidelity controlled-Z (CZ) gate and controlled-not (CNOT) gate in one step. Each atom requires single external driving. And the atomic addressability is not required for the presented unconventional RAB, which would simplify experimental complexity and reduce resource consumption.